propositional logic symbols Download